C programming language) - PDFSEARCH.IO - Document Search Engine

C programming language)
Results: 6760

#	Item
121	The Java™ Language Specification The Java™ Series Lisa Friendly, Series Editor Bill Joy, Technical Advisor Add to Reading List Source URL: titanium.cs.berkeley.edu Language: English - Date: 2014-04-29 06:11:54 Cross-platform software Java Concurrent programming languages Object-oriented programming C++ Constant Class C Sharp Literal Constructor C++ classes Inheritance
122	Portable Software Fault Isolation Joshua A. Kroll Computer Science Department Princeton University Princeton, NJ Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2014-05-10 07:53:45 Software engineering Computing Computer programming Memory management Software bugs Programming language implementation Functional languages C++ Pointer C dynamic memory allocation Buffer overflow protection Optimizing compiler
123	Edit DistanceGraphical Models ......... Add to Reading List Source URL: genome.sph.umich.edu Language: English - Date: 2012-10-04 00:01:29 C++ Computer programming Software engineering Hidden Markov model C++ string handling Programming language theory
124	Verification of a Cryptographic Primitive: SHA-256 ANDREW W. APPEL, Princeton University A full formal machine-checked verification of a C program: the OpenSSL implementation of SHA-256. This is an interactive proof of f Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2014-12-23 10:16:22 Software engineering Programming language theory Theoretical computer science C++ Logic in computer science Proof assistants Data types SHA-2 Formal verification Separation logic Coq Functional programming
125	The Bedrock Structured Programming System Combining Generative Metaprogramming and Hoare Logic in an Extensible Program Verifier Adam Chlipala MIT CSAIL Add to Reading List Source URL: adam.chlipala.net Language: English - Date: 2016-01-02 15:47:17 Software engineering Theoretical computer science Computer programming Formal methods Logic in computer science Macro Hoare logic Assertion Separation logic C preprocessor Postcondition Assembly language
126	Perl Primer An Introduction to Perl for C++ Programmers by Frank McCown and Tim Baird Harding University PERL is the Practical Extraction and Report Language (or Pathologically Eclectic Rubbish Lister) Add to Reading List Source URL: www.harding.edu Language: English - Date: 2005-06-16 11:34:40 Cross-platform software Scripting languages Object-oriented programming languages High-level programming languages Procedural programming languages Perl Foreach loop AWK D For loop Hash function C++ classes
127	Proposal: Modify the use of the second digit of the program code C. Livingstone, Issue: The structure of the academic program code as specified at the time Banner was implemented did not anticipate the need for Add to Reading List Source URL: www.dmi.illinois.edu Language: English - Date: 2009-03-16 13:33:47 Software engineering Computing Programming language theory Procedural programming languages ASCII C
128	Published as a conference paper at ICLRJ OINT RNN-BASED G REEDY PARSING C OMPOSITION AND Add to Reading List Source URL: ronan.collobert.com Language: English - Date: 2015-08-30 19:55:58 Parsing algorithms Artificial neural networks Compiler construction Programming language implementation Software Natural language processing Formal languages Parsing Computational neuroscience Recursive neural network Word embedding Dependency grammar
129	Rationale for TRExtension to the programming language C Decimal Floating-Point Arithmetic Add to Reading List Source URL: www.open-std.org Language: English - Date: 2007-07-06 11:30:45 Computer arithmetic IEEE floating point Floating point C99 Double-precision floating-point format NaN ANSI C Half-precision floating-point format C Decimal floating point Long double Decimal
130	Ilya Sergey C URRICULUM V ITÆ February 2016 Add to Reading List Source URL: ilyasergey.net Language: English - Date: 2016-03-01 06:31:32 Computing Software engineering Computer programming Functional languages Scripting languages Symposium on Principles of Programming Languages International Conference on Functional Programming Object-oriented programming languages Programming Language Design and Implementation SIGPLAN Actor model European Symposium on Programming

UPDATE